On Some Aspects of the Theory of Monads
نویسنده
چکیده
This paper provides an introduction to the theory of monads. The main result of the paper is a folkloric proof of Beck’s monadicity theorem which gives an explicit construction of the equivalence involved. Several examples of monads are presented which illustrate the variety of guises in which monads can appear.
منابع مشابه
POWERSET OPERATORS OF EXTENSIONAL FUZZY SETS
Powerset structures of extensional fuzzy sets in sets with similarity relations are investigated. It is proved that extensional fuzzy sets have powerset structures which are powerset theories in the category of sets with similarity relations, and some of these powerset theories are defined also by algebraic theories (monads). Between Zadeh's fuzzy powerset theory and the classical powerset theo...
متن کاملLeibniz’s Monads and Mulla Sadra’s Hierarchy of Being: A Comparative Study
Mulla Sadra and Leibniz, the two philosophers from the East and the West, belong to two different worlds. Though they were unaware of the ideas of each other, their philosophical systems share certain common points that are comparable. Monads constitute the basis of Leibniz's thought and he refers to their features in his various works. On the other side, Mulla Sadra's philosophy is also based ...
متن کاملApplications of the Kleisli and Eilenberg-Moore 2-adjunctions
In 2010, J. Climent Vidal and J. Soliveres Tur developed, among other things, a pair of 2-adjunctions between the 2-category of adjunctions and the 2-category of monads. One is related to the Kleisli adjunction and the other to the Eilenberg-Moore adjunction for a given monad.Since any 2-adjunction induces certain natural isomorphisms of categories, these can be used to classify bijection...
متن کاملOn the Coherence Conditions for Pseudo-distributive Laws
The formal theory of monads, originally introduced by Street in [22] and developed further by Lack and Street [17] provides a mathematically efficient treatment of several aspects of the theory of monads [1]. For example, it exhibits a universal property of the category of algebras for a monad and provides a clear explanation for Beck’s axioms for a distributive law [2]. Over the past few years...
متن کاملCommutative Monads as a Theory of Distributions
It is shown how the theory of commutative monads provides an axiomatic framework for several aspects of distribution theory in a broad sense, including probability distributions, physical extensive quantities, and Schwartz distributions of compact support. Among the particular aspects considered here are the notions of convolution, density, expectation, and conditional probability.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011